| 翻訳と辞書 |
Boolean algebra
(After the logician George Boole)
1. Commonly, and especially in computer science and digital electronics, this term is used to mean two-valued logic.
2. This is in stark contrast with the definition used by pure mathematicians who in the 1960s introduced "Boolean-valued {models}" into logic precisely because a "Boolean-valued model" is an interpretation of a theory that allows more than two possible truth values!
Strangely, a Boolean algebra (in the mathematical sense) is not strictly an algebra, but is in fact a lattice. A Boolean algebra is sometimes defined as a "complemented distributive lattice".
Boole's work which inspired the mathematical definition concerned {algebras} of sets, involving the operations of intersection, union and complement on sets. Such algebras obey the following identities where the operators ^, V, - and constants 1 and 0 can be thought of either as set intersection, union, complement, universal, empt
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|